sublinear functional

次线性泛函